461. COBOL programming
Author: / Nancy B. Stern, Robert A. Stern
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: COBOL (Computer program language),Electronic digital computers - Programming
Classification :
001
.
6424c
S839c
1975


462. COMPUTER SOFTWARE PROGRAMMING SYSTEMS FOR DIGITAL COMPUTERS
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
،
76
.
5
،.
F455


463. CP/M techniques
Author: Barbier, Ken
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Operating systems )Computers(,، Structured programming
Classification :
QA
76
.
6
.
B3574
1984


464. CSL'87 lst workshop on computer science logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
Classification :
QA
76
.
6
.
W6
1987


465. CX-Simulator, ver 1.1, for CS1 series: Operation manual
Author: OMRon
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Digital computer simulation,، Electronic digital computers-programming
Classification :
QA
76
.
9
.
C65C9
2000


466. Calculating with Fortran
Author: Manifold, George O.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
Classification :
QA
76
.
73
.
F25
.
M35


467. Careers in computer programming
Author: Barnett, Leo
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming (Electronic computers)- Vacational guidance
Classification :
651
B261c


468. Catalog of programs for IBM 1620 and 1710 data processing systems
Author:
Library: Library of factualty of psychology and Education (Tehran)
Subject: Electronic calculating machines,Programming ( Electronic Computers)
Classification :
QA
,
76
,.
8
, .
I14


469. Catalogue of artificial intelligence tools
Author: Bundy, Alan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
Classification :
Q
336
.
B86
1986


470. Catalogue of artificial intelligence tools
Author: Bundy, Alan.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
Classification :
Q
336
.
B86
1984


471. Catalogue of artificial intelligence tools
Author: / edited by Alan Bundy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Artificial intelligence -- Data processing,Robotics,Electronic digital computers -- Programming,Computer programs -- Catalogs
Classification :
Q
336
.
C27
1986


472. Categories and computer science
Author: / R.F.C. Walters
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Categories (Mathematics)--Data processing,Electronic digital computers--Programming

473. Categories, types, and structures
Author: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991


474. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991


475. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991


476. Categories, types, and structures : an introduction to category theory for the working computer scientist
Author: Andrea Asperti, Giuseppe Longo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Categories )Mathematics(
Classification :
QA
76
.
7
.
A76
1991


477. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987


478. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38

479. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989


480. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389

